The crux of the dispute between formalism and intuitionism, it is held, is not whether certain entities exist or not, but how the term function shall be used in mathematics. The identification of effective definition with general recursion fails because an undefined function lies concealed beneath the requirement of a finite number of substitutions, and a fresh characterization of effective definition is sought in terms of a hierarchy of ordinal recursions.A correspondence exists between primitive recursive properties and direct proofs, of (...) irrationality and transcendence for instance, and between general recursive properties and indirect proofs.Mathematics is a concept creating activity and the distinction between a formal mathematics devoid of meaning, at one level, and a meaningful metamathematics at the next is considered to be untenable.RésuméLa controverse entre les formalistes et les intuitionistes ne repose pas, considére‐t‐on, sur l'existence ou la non‐existence de certaines entités, mail sur l'usage du terme fonction en mathématiques. L'identification de la définition effective avec la récursion générate n'est pas valable parce qu'une fonction indéfinié est dissimulée sous la nécessité d'un nombre fini de substitutions, et une nouvelle caractérisation de définition effective est recherchée sous forme de hiérarchie de récursions ordinates.II existe, d'une part, une correspondance entre les propriétés primitives récursives et les preuves directes, d'irrationalité et de transcendance par exemple, et, d'autre part, entre les propriétés récursives générates et les preuves par l'absurde.Les mathématiques sont une activité créatrice de concepts, et la distinction entre les mathématiques formelles dépourvues de sens et, sur le plan supérieur, une méta‐mathématique chargée de sens, ne semble pas justifiée. (shrink)

Popkin's History of Scepticism, first published in 1960 and now appearing in a third, revised and expanded, edition, has long since won the status of a "standard work," at once the starting-point for further historical research and an instigation to philosophical reflection on the sceptical tendencies apparently inseparable from the advent of modern thought. The two earlier editions have already been amply celebrated and criticized. The new edition includes a revised treatment of "The Revival of Greek Scepticism in the Sixteenth (...) Century", based in part on C. B. Schmitt's research in his book Cicero Academicus and in later studies. Two new chapters have been added: "Isaac La Peyrère and the Beginnings of Religious Scepticism". embodying Popkin's many recent and continuing studies of La Peyrère and other figures in the seventeenth century pre-Adamite and Marrano movements and "Spinoza's Scepticism and Anti-Scepticism". These new chapters continue to be written in a clear and vivid style, combining narrative with analysis so as to engage both the specialist and the neophyte. (shrink)

Secularism; Arab countries; Islam and state.

The focus of this study was to analyze the content, distribution, and comparative genome relationships of 996 chromosome bin-mapped expressed sequence tags accounting for 2266 restriction fragments on the homoeologous group 3 chromosomes of hexaploid wheat. Of these loci, 634, 884, and 748 were mapped on chromosomes 3A, 3B, and 3D, respectively. The individual chromosome bin maps revealed bins with a high density of mapped ESTs in the distal region and bins of low density in the proximal region of the (...) chromosome arms, with the exception of 3DS and 3DL. These distributions were more localized on the higher-resolution group 3 consensus map with intermediate regions of high-mapped-EST density on both chromosome arms. Gene ontology classification of mapped ESTs was not significantly different for homoeologous group 3 chromosomes compared to the other groups. A combined analysis of the individual bin maps using 537 of the mapped ESTs revealed rearrangements between the group 3 chromosomes. Approximately 232 of the consensus mapped ESTs matched sequences on rice chromosome 1 and revealed large- and small-scale differences in gene order. Of the group 3 mapped EST unigenes ∼21 and 32% matched the Arabidopsis coding regions and proteins, respectively, but no chromosome-level gene order conservation was detected. (shrink)